<HTML><HEAD><TITLE>get_bounds(?Var, -Lo, -Hi)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>get_bounds(?Var, -Lo, -Hi)</H1>
Retrieve the current bounds of Var.
<DL>
<DT><EM>Var</EM></DT>
<DD>A variable or a number
</DD>
<DT><EM>Lo</EM></DT>
<DD>Lower bound
</DD>
<DT><EM>Hi</EM></DT>
<DD>Upper bound
</DD>
</DL>
<H2>Description</H2>
<P>
   Primitive for retrieving the upper and lower bounds of Var.  Lo and Hi
   return the minimum and maximum (respectively) of the variable's interval.
   If the variable is integer and a bound is finite, then that bound will be
   returned as an integer; in all other cases it will be returned as a
   float.  If Var has not been declared before, it will be turned into an
   unrestricted real variable.  If Var is a ground number, Lo and Hi will
   give appropriate bounds based on the type and value of Var: exact bounds
   for floats, bounded reals and integers, and best safe approximations for
   rationals.</P>

<H3>Modes and Determinism</H3><UL>
<LI>get_bounds(?, -, -) is det
</UL>
<H2>See Also</H2>
<A HREF="../../lib/ic/get_min-2.html">get_min / 2</A>, <A HREF="../../lib/ic/get_max-2.html">get_max / 2</A>, <A HREF="../../lib/ic/get_float_bounds-3.html">get_float_bounds / 3</A>, <A HREF="../../lib/ic/get_integer_bounds-3.html">get_integer_bounds / 3</A>, <A HREF="../../lib/ic/get_finite_integer_bounds-3.html">get_finite_integer_bounds / 3</A>, <A HREF="../../lib/ic/get_delta-2.html">get_delta / 2</A>, <A HREF="../../lib/ic/get_median-2.html">get_median / 2</A>
</BODY></HTML>
